COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 ENDMK
C⊗;
.DEVICE XGP;
.require "bkmac.pub[lsp,clt]" source_file
.begin "mkchapter"


.MACRO GET(FILE) ⊂ BEGIN "FILE" REQUIRE "FILE" SOURCE_FILE
.END "FILE" ⊃
.
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area text lines 4 to pagehigh;
.title area heading lines 1 to 3
.place text;
.odd heading(, {sname}, {page}) ;
.even heading({page}, {sname}, ) ;
.
.<<every heading(, {sname}, {page}) >>
.NOTASSEMBLING ← true
.COUNT PAGE FROM 1 TO 999
.COUNT SECTION FROM 1 TO 999
.COUNT SUBSECTION IN SECTION FROM 1 TO 999

.BEGIN "Text"
.sname ← SSNAME ← NULL
.turnon "{}"
.PORTION MAINPORTION
.SET SECTIONPARS(I,1,Chapter,1)
.itemmac
.eqnmac
.figmac
.tablemac
.READIN: NEXT SECTION!
.WRITIN: NEXT SECTION!
.WRITINEX!: "II qsect8";
.MEMBER!!: "I.8.6";
.page ← 48

.s(PROVIN,PROVING FACTS ABOUT LISP PROGRAMS)
.if NOTASSEMBLING then start
.IMPURE: NEXT SECTION!;
.MACHIN: NEXT SECTION!;
.SEARCH: NEXT SECTION!;
.EXTEND: NEXT SECTION!;
.ABSNTX: NEXT SECTION!;
.COMPIL: NEXT SECTION!;
.COMPUT: NEXT SECTION!;
.end
.
.GET |PROVIN[E79,JMC]|
.
.END "Text"
.
.END "mkchapter"